Quantum theory of collective strong coupling of molecular vibrations with a microcavity mode