Street Smart: 3-D City Mapping and Modeling for Positioning with Multi-GNSS