revenue for mining industry in africa