who invented the water lifting machines