Redundancy-Free Computation Graphs for Graph Neural Networks