Enhancing Positioning in GNSS Denied Environments Based on an Extended Kalman Filter Using Past GNSS Measurements and IMU | Synapse