half-times in decompression theory for scuba diving