On non-dimensional forms of basal sliding laws and flow laws for ice-sheet and glacier modelling | Synapse