Bilevel Heat–Electricity Energy Sharing for Integrated Energy Systems With Energy Hubs and Prosumers | Synapse