what was leonardo da vinci's height?