Term proximity in document retrieval systems