Modeling the Angara-Yenisei Cascade Operations Based on Firm Winter Power Output Maximization | Synapse