Spacecraft Proximity Operations Via Tube-Based Robust Model Predictive Control with Additive Disturbances