Cache Eviction: When Are Randomized Algorithms Better Than LRU? (2014)