History of decompression research and development