CoTra: Towards Efficient and Scalable Distributed Vector Search with RDMA | Synapse