Comprehensive Space Mission Analysis via Many-Objective Optimization