Rigorous methods for global optimization