where do coal miners extract coal