Solving the k-Node Minimum Label Spanning Arborescence Problem with Exact and Heuristic Methods