equipment used in coal mining and its manufacturer