A Planning and Scheduling Tool to Automate and Support Mission Planning