Glacier flow modelling: a comparison of the Shallow Ice Approximation and the full-Stokes solution | Synapse