Similar Items: Provable Quantization with Randomized Hadamard Transform