Output-Constrained Bayesian Neural Network