Estimating horizontal gradients of tropospheric path delay with a single GPS receiver