The joint probability of waves and water levels in coastal defence design.