5LEP0 (2025-GS3) Electricity markets: modeling and optimization