Intermittent Pneumatic Compression Is Effective in Preventing Symptomatic Pulmonary Embolism After Thoracic Surgery