GraphTrail: Translating GNN Predictions into Human-Interpretable Logical Rules