Dynamic stochastic model for estimating GNSS tropospheric delays from air-borne platforms