Application of Weighted Least Square RAIM to Multi-Sensor Navigation Integrated with Space-Based Augmentation System