Combining eye movements and collaborative filtering for proactive information retrieval