A Descriptive and Historical Account of Hydraulic and Other Machines for Raising Water, Ancient and Modern