Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning