Shrink: Distance preserving graph compression. (September 2017)