Diagnosis and pathophysiology of paradoxical embolism.