An edition of Leonardo da Vinci’s Codex Leicester