Observed and modeled Greenland firn properties (1980–2020)