An Optimized Navigation Method Integrating Fixed-Lag Smoothing and Integrity Monitoring for Shipborne GNSS Receivers in High-Latitude Challenging Environments | Synapse