leonardo da vinci designed a system that proved the impossibility of perpetual motion