SERPINC1 and hyperinsulinemic hypoglycemia, familial, 4: The co-occurrence of pulmonary embolism and aortic valve thrombosis complicated by myocardial infarction as a clinical manifestation of antithrombin III deficiency: a case report