Text this: GPS and Galileo Precise Point Positioning Performance with Tropospheric Estimation Using Different Products: BRDM, RTS, HAS, and MGEX