types of minerals which are mined in kenya