From Local to Global Consistency in Temporal Constraint Networks