coal drilling and mining machine