Decomposition methods based on articulation vertices for degree-dependent spanning tree problems Academic Article 2017