Pushing the Limits of Large Language Model Quantization via the Linearity Theorem.