Multi-target spacecraft mission design using convex optimization and binary integer programming | Synapse