From K-NN, HNSW to Product Quantization: Approximate Nearest Neighbor Search for vector search engines