Text this: Uncertainty Quantification of First Fix in a Time-Differenced Carrier Phase Observation Model