Robust Android GNSS Positioning Using Single-Differenced Tightly Coupled GNSS/INS EKF | Synapse