Global Optimization Using Interval Analysis