An Operator Splitting View of Federated Learning