Bayesian Bits: Unifying Quantizationand Pruning