Seol mar théacs é seo: Optimal carbon pricing in general equilibrium: temperature caps and stranded assets in an extended annual DSGE model