Dynamic nuclear polarization 13C n.m.r. of coal