A General Branch-and-Cut Framework for Rotating Workforce Scheduling - BizPub.ai