Text this: A Mixed Integer Programming Approach to the Rechargeable Rover Routing Problem on Mars