Surgical thromboembolectomy for a massive pulmonary embolism after several venous thromboembolic episodes caused by congenital antithrombin III deficiency: report of a case