An Approximation for Finding a Smallest 2-Edge-Connected Subgraph Containing a Specified Spanning Tree