industrie de la miningne au kenya