methods of mining coal in south africa