Decomposition algorithms for synchronous flow shop problems with additional resources and setup times