A column generation approach for the multiple depot crew scheduling problem: a case study