A stochastic approach for assessing intervention strategies in the case of metro system failures