gas density in dive planning