Interval constraint propagation with application to bounded-error estimation