Quantization Avoids Saddle Points in Distributed Optimization