A Two-Stage Energy and Service Market Framework Involving Unit Commitment and Network-Based Redispatch | Synapse