the mining of copper in sudan