Formalization and Evaluation of Linear Relevance Feedback