machinery in a coal mine