he history of mining industry in south africa