machinery and equipment used in coal mining