process of rotary drilling for coal