Bayesian Sparsification for Deep Neural Networks With Bayesian Model Reduction