Stabilized Proximal-Point Methods for Federated Optimization