Introduction to Interval Analysis