how is coal mined in south africa