Enhancing collaborative web search with personalization: groupization, smart splitting, and group hit-highlighting