GNSS Doppler Velocity Estimation Aided by 3D Mapping Database