indexing: use vector for PostingList