size of mining industry in south africa