How does the ideal gas law relate to scuba diving?