Introduction to Information Retrieval: Boolean retrieval