Multi-Objective Optimization of Cislunar Navigation Constellations and Mission Validation for Lunar Re-Exploration (Advances in Astronomy, 2025)