Describir: Spectral Sparsification of Graphs: Theory and Algorithms.