The historical global sea-level budget