Deconvolution of quantized-input linear systems: Analysis via Markov Processes of a low-complexity algorithm