Navigable Graphs for High-Dimensional Nearest Neighbor Search: Constructions and Limits