A methodology for evaluating the flexibility potential of domestic air-conditioning systems