the mineral industry of kenya