economic importance of mining in kenya