Bayesian optimization explains human active search