Multi-Vehicle Lunar Operations Simulation Using SEXTANT