a brief look at south africa s coal mining industry 2018