Risk-Averse Equilibrium Modeling and Social Optimality of Cap-and-Trade Mechanisms