Associations of work‐related stress and total sleep time with cholesterol levels in an occupational cohort of Japanese office workers