Mean-Variance Analysis: A New Document Ranking Theory in Information Retrieval