mechanical mechanical equipment used in coal mining