A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints