The effects of climate mitigation on the exposure of the world's large port cities to extreme coastal water levels