mining in south africa then and now