hydraulic machines used in mining