How dry was the Mediterranean during the Messinian salinity crisis?