Modelling a Market Stability Reserve in Carbon Markets