Low-bit Quantization of Recurrent Neural Network Language Models Using Alternating Direction Methods of Multipliers.