the types of the biggest mining industries in south africa