PaperTheoretical model of dynamic spin polarization of nuclei coupled to paramagnetic point defects in diamond and silicon carbide