Efficient train re-routing and rescheduling: Valid inequalities and reformulation of RECIFE-MILP. (February 2019)