Sparsification: A technique for speeding up dynamic graph algorithms