refinary process of coal mining in south africa