which type of mining would not be used to mine coal