the refinery process of coal mining in south africa