processing and refining of coal mining in south africa