Optimization of Spacecraft Rendezvous and Docking using Interval Analysis