Kalman Filter-Based ARAIM Algorithm for Integrity Monitoring in Urban Environment