Methods of Numerical Modeling of High-Velocity Ice Resistance: a Review | Synapse