how is mining of coal done