the mining industries in south africa