The Design of Carbon Taxes in Electric Power Systems and the Effects on Market Participation