Theoretically Improving Graph Neural Networks via Anonymous Walk Graph Kernels