Gaussian Process bandits with adaptive discretization