The recreational diver's guide to decompression theory, dive tables, and dive computers