HNSW as abstract data structure: video intro to Redis vector sets