Design and implementation of algorithms for Earth troposphere calibration from dual-frequency GPS measurements