Bayesian post-hoc regularization of random forests