Text this: Precise GNSS Positioning with Time-differenced Carrier Phases at Variable Sampling Rates