Gravar-mail: An ice sheet model validation framework for the Greenland ice sheet