Sound velocity data for the hot brines and corrected depth of the interfaces in the Atlantis II Deep