Zeroth-Order Methods for Nondifferentiable, Nonconvex, and Hierarchical Federated Optimization