Harnessing the flexibility of power-to-heat operation in building and district heating to support electricity systems: A review | Synapse