LR-XFL: Logical Reasoning-based Explainable Federated Learning