BoBa: Boosting Backdoor Detection through Data Distribution Inference in Federated Learning | Synapse