Quantum theory of stimulated Cerenkov radiation