Integrity Monitoring for All-Source Navigation Enhanced by Kalman Filter-Based Solution Separation