Intent modeling and automatic query reformulation for search engine systems