the major processes in the mining process of coal