machines use in hydraulic coal mining