Sensitivity of GPS height estimates to tropospheric delay modelling