Study on Halo Orbit Design Under High Precision Model