RAIM Algorithms for Aided GNSS in Urban Scenario