Benchmarking Semi-supervised Federated Learning