Exact solution of crew scheduling problems using the set partitioning model: Recent successful applications