Effective Interplay between Sparsity and Quantization: From Theory to Practice