The future of mining in Africa