Urban Pedestrian Navigation using Smartphone-based Dead Reckoning and 3D Maps Aided GNSS