2U: An Exact Interval Propagation Algorithm for Polytrees with Binary Variables