types of mining in kenya