Efficient train re-routing and rescheduling: valid inequalities and reformulation of RECIFE-MILP