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