the mining industry in south africa