Global optimization of Lipschitz functions