Optimal Building Thermal Load Scheduling for Simultaneous Participation in Energy and Frequency Regulation Markets | Synapse