machine used at a coal mine