Quantized Consensus by the Alternating Direction Method of Multipliers: Algorithms and Applications