history of mining industry of phosphate in south africa