Building electrification and carbon emissions: Integrated energy management considering the dynamics of the electricity mix and pricing | Synapse