Probabilistic downtime estimation for sequential marine operations. (May 2019)