3D-mapping-aided GNSS