A verification procedure for the use of FLAC to study glacial dynamics and the implementation of an anisotropic flow law