The effect of pre-dive exercise timing, intensity and mode on post-decompression venous gas emboli.