Congenital antithrombin deficiency in patients with splanchnic vein thrombosis