ANN-Benchmarks: A benchmarking tool for approximate nearest neighbor algorithms. (January 2020)