A Theoretical Model of Optimal Compliance Decisions under Different Penalty Designs in Emissions Trading Markets