An introduction to sound velocity in water and how it applies to measuring depth