historical copper mining in south africa