A Benders decomposition approach for the robust spanning tree problem with interval data