Security-Constrained Unit Commitment for Electricity Market: Modeling, Solution Methods, and Future Challenges