Temporal index sharding for space-time efficiency in archive search