Should non-smokers get extra vacation days?