Optimal trajectory design to Halo orbits via pseudo-invariant manifolds using a nonlinear four body formulation