Numerically and statistically stable Kalman filter for INS/GNSS integration | Synapse