Quantized Distributed Nonconvex Optimization with Linear Convergence | Synapse