Physical activity among Dutch workers—differences between occupations