Empirical Evaluation of the Implicit Hitting Set Approach for Weighted CSPs