Exploiting query reformulations for web search result diversification