Boosting Efficiency: Optimizing Pumped-Storage Power Station Operation by a Mixed Integer Linear Programming Approach | Synapse