Inverted Index Partitioning Strategies for a Distributed Search Engine