Global warming could make tides higher as well as raising sea levels