Theoretical and Experimental Studies on the Minimum Size 2-edge-connected Spanning Subgraph Problem