Reducing Asteroid Belt Correlated Noise from Earth–Mars Ranging Data