Quantized average consensus