Greenland Ice Mapping Project 2 (GIMP-2) Algorithm Theoretical Basis Document