quarry mining industry in south africa