Theory for Nonlinear Spectroscopy of Vibrational Polaritons.