Networks; Network optimization; Benders decomposition; Spanning trees