Application of GRACE to the evaluation of an ice flow model of the Greenland Ice Sheet