the history of iron mining industry in south africa