Statistics of Mid-Miocene paleoproductivity in the Atlantic Ocean and implications for the global carbon cycle