Labeling and Partial Local Consistency for Soft Constraint Programming