Probabilistic prediction of progressive flooding in the fore end of ships