Set partitioning/covering-based approaches for the integrated vehicle and crew scheduling problem