Incorporating Interpretable Output Constraints in Bayesian Neural Networks