Are Doppler Velocity Measurements Useful for Spinning Radar Odometry?