Bayesian Federated Learning: A Survey