Rolling dispatch framework of integrated electricity-gas system considering power-to-gas facilities and natural gas network dynamics: Modelling and case studies