IR Models, Query Processing and Evaluation using TREC Datasets