Partial collection replication versus caching for information retrieval systems