Reasoning with Inequations in Temporal Constraint Networks