Modeling Contrary-to-Duty with CP-nets