Decision Support for Crew Scheduling using Automated Planning