Valid inequalities for the arc flow formulation of the railway crew scheduling problem with attendance rates. (January 2019)