mining and industrial industry in south africa