Coding Theory and Randomized Sketching for Distributed Optimization