A least-squares finite element method for a nonlinear Stokes problem in glaciology. (June 2016)