Text this: Towards practical theory : Bayesian optimization and optimal exploration