Mitigating heat demand peaks in buildings in a highly renewable European energy system | Synapse