Optimization of double-impulse rendezvous using gradient-splitting interval optimization algorithm