A cost optimal design of a sea dike: Using probabilistic methods and flexibility in the distribution of the total failure probability over the various failure mechanisms