Entropy-Driven Mixed-Precision Quantization for Deep Network Design: Appendix A Proof of Quantization Entropy Score A.1 Maximum Entropy