How does the mining industry affect the economy in South Africa?