Computational results for very large air crew scheduling problems