machinery used in coal mining industry