Hyperbaric computed tomographic measurement of lung compression in seals and dolphins.