Leonardo da Vinci and perpetual motion