Bayesian sparsification for deep neural networks with Bayesian model reduction