Decomposition of arborescent linear programs