Theory and Practice of Finding Eviction Sets