Edge-cloud framework-based distributed optimization of a building energy system with supply-demand coordination | Synapse