https://9dok.net/document/zwv84d60-branch-and-price-steiner-tree-problem-with-revenues.html