Optimal Quantization for Matrix Multiplication