Sound velocity as a function of depth in marine sediments