mechanical machines used in coal mining industries