how and where is coal mined and processed in south africa