Tube-based robust model predictive control for spacecraft proximity operations in the presence of persistent disturbance