spacecraft trajectory planning