uses of mining in africa