Global Optimization of Gaussian processes