Nonlinear magnetohydrodynamic modeling of ideal ballooning modes in high-β Wendelstein 7-X plasmas | Synapse