An evaluation of a physics-based firn model and a semi-empirical firn model across the Greenland Ice Sheet (1980–2020)