what was leonardo da vinci height?