machine used in underground coal mines