The effects of a non-condensable gas on pressurizer insurge transients