notes on coal mining in south africa