how to mine and process coal