A Mixed Integer Programming Approach to the Rechargeable Rover Routing Problem on Mars (Foundations of Computing and Decision Sciences, 2025)