how much has the ocean risen since 2,000