A Joint Electricity Market-Clearing Mechanism for Flexible Ramping Products with a Convex Spot Market Model | Synapse