Kudu: An Efficient and Scalable Distributed Graph Pattern Mining Engine