A unifying approach to shift design and rotating workforce scheduling | Synapse