the mining sector in south africa