Prevalence of antithrombin deficiency in the healthy population