PowerLyra: differentiated graph computation and partitioning on skewed graphs
zipf ' s law and the internet .