Why diving and flying is a bad idea, and why diving in a mountain lake can differ so much from diving in the ocean