Analyses and Scalable Algorithms for Byzantine-Resilient Distributed Optimization