Using Explainable Scheduling for the Mars 2020 Rover Mission