Solving an Integrated Mathematical Model for Crew Pairing and Rostering Problems by an Ant Colony Optimization Algorithm