Space Logistics and Mission Planning Optimization via Nonconvex Mixed-Integer Nonlinear Programming