Constructive use of GNSS NLOS-multipath: Augmenting the navigation Kalman filter with a 3D model of the environment | IEEE Conference Publication | IEEE Xplore