Spacecraft Trajectory Planning with Avoidance Constraints Using Mixed-Integer Linear Programming | Synapse