machenery used in coal mining