Distribution of coastal high water level during extreme events around the UK and Irish coasts