Byzantine-Resilient Multi-Agent Optimization