of quarry mining in kenya