Compact Bayesian Neural Networks via pruned MCMC sampling