industrie des mines et des carrières en afrique du sud