Text this: Stochastic modelling of thermokarst lakes: size distributions and dynamic regimes