Cryogen based energy storage: process modelling and optimisation