Leonardo and the design of machines