A Decision Support System for Crew Rostering in Public Transit