importance of the mining industry for south africa