Disruption mitigation on Alcator C-Mod using high-pressure gas injection: Experiments and modeling toward ITER