Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships