type of mining used for coal