A decomposition approach to dual shuttle automated storage and retrieval systems. (November 2016)