GraphPi: high performance graph pattern matching through effective redundancy elimination.