Assessing the Role of Renewables in Reducing Emissions in the Saudi Power Sector Using Mixed-Integer Optimization