In Elasticsearch’s vector indexing pipeline, how exactly do segmenting and segment compaction work? Specifically, what compaction policy does Elasticsearch follow for segments and their vector indexes, and during compaction, are old segments reused and merged, or does Elasticsearch discard them and perform a complete rebuild of the vector index?