Systems and Algorithms for Dynamic Graph Processing