legislative history of mining in kenya