Modeling tropospheric delays for space geodetic techniques