Decompression Theory and the Biophysics of Diving: A Practical Guide to Computational Modeling and Applications