Static index pruning in web search engines: Combining term and document popularities with query views