Logiformer: A Two-Branch Graph Transformer Network for Interpretable Logical Reasoning