Discretized Distributed Optimization over Dynamic Digraphs