Quantum mechanical theory of dynamic nuclear polarization in solid dielectrics.