Cap-and-Trade Modeling and Analysis for Electric Power Generation Systems