mining in africa copper gold and petroleum