Bayesian neural networks increasingly sparsify their units with depth