High Probability Guarantees for Federated Learning