L2 libration Sun Earth formation flying space surveillance impulsive finite low-thrust