copper mining in the democratic republic of the congo