gas density in diving