PRBS Selection for Velocity Measurements with Compressive Sampling-Based DS-CDMA Radio Navigation Receivers