The prevalence of short sleep duration by industry and occupation in the National Health Interview Survey