The exploration of objective task difficulty and domain knowledge effects on users' query formulation