Output-Constrained Bayesian Neural Networks