Interval analysis for reliable global optimization