Job and tool group scheduling for a machining center. Issue 4 (2nd October 2017)