Optimization Models in Electricity Markets