3D Mapping Aided GNSS Positioning Using Doppler Frequency for Urban Areas