Dealing with Mixed Hard/Soft Constraints via Support Constraint Machines