Magnitude, Trends, and Variability of the Global Ocean Carbon Sink From 1985 to 2018