Fine-grained Fact Verification with Kernel Graph Attention Network