Transfer Trajectory Design for EML2 Halo Orbit Based on Invariant Manifolds