Gas embolism: pathophysiology and treatment