Text this: Stochastic co-optimisation of energy, frequency and carbon services considering flexible nuclear power plants