Text this: Optimal Scheduling of Source-Load Complementation Based on Green Certificate-Step Carbon Trading Interaction