Byzantine-Resilient Federated Learning via Distributed Optimization