Model Predictive Control of Spacecraft Rendezvous with Collision Avoidance