iron mine industry in brazil history of gold mining in south africa