Haldane%27s decompression model