process for mining coal in south africa