Gradual introduction of carbon allowance auctions facilitates sustainable emission reductions in the power sector | Synapse