copper mining industry in kenya