Probabilistic design of the renovation of the Afsluitdijk