Local-to-Global Consistency Implies Tractability of Abduction