coal mining in china coal mining in south africa