Zaslat SMS: Automatic Identification and Exploitation of Dominance Relations in Constraint Optimization Problems