Implicit enumeration for shift scheduling in systems with time-varying demand