copper ore and gold ore mining in kenya