Quantification of the healthy worker effect: a nationwide cohort study among electricians in Denmark