Graph Sparsification by Edge-Connectivity and Random Spanning Trees - Nick Harvey