gas volume in scuba diving theory