A CSP-based design framework for appliances under energy labelling