leonardo da vinci's plans for his new invention the hot tub