Cap-And-Trade Modeling And Analysis: Congested Electricity Market Equilibrium