Changes in extreme regional sea level under global warming