Interval Linear Systems: the State of the Art