Probabilistic model of altitude decompression sickness based on mechanistic premises.