Pseudorange error prediction for adaptive tightly coupled GNSS/IMU navigation in urban areas