windmill used to pump water for irrigation