Discovering Many Diverse Solutions with Bayesian Optimization