A model of individual household temperature demand and energy-related welfare changes using satiety