Leonardo’s theory of the earth: unexplored issues in geology from the Codex Leicester