Should non-smoking employees get more vacation time to make up for their co-workers' smoke breaks?