Electrification, heat pump, Decarbonization, residential buildings, Energy efficiency, building stock modeling