frontera: A scalable frontier for web crawlers