Introduction to Information Retrieval: XML retrieval