Combined Global and Local Search for Optimization with Gaussian Process Models