what was the estimated height of leonardo da vinci?