RaBitQ is the best binary quantization