The codex hammer of Leonardo da Vinci, translated into English and annotated