Bayesian Optimization with a Prior for the Optimum