Web Search Engine Evaluation using Clickthrough Data and a User Model