The mining sector in South Africa