Quantized consensus of second-order multi-agent systems via impulsive control