Do employees in your company have the same holidays as state workers?