Deakstadieđáhus: An algebraic model of high-altitude aircraft decompression and emergency descent