Solution of Large-Scale Railway Crew Planning Problems: the Italian Experience