Logical Expressiveness of Graph Neural Network for Knowledge Graph Reasoning