Probabilistic design of sea defences