Optimizing GNSS Time-Differenced Carrier Phase Measurements for High-Integrity Inertial Navigation + GNSS Sensor Fusion without Ambiguity Resolution.