Incentive-Compatible Mechanism Design for Medium- and Long-Term/Spot Market Coordination in High-Penetration Renewable Energy Systems | Synapse