NLOS Correction/Exclusion for GNSS Measurement using RAIM and City Building Models