a hydraulic machine in d mining industry