Introduction to Interval Computation