Introduction to Information Retrieval: Dictionaries and tolerant retrieval