πBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization