Study of Historical Documents on Grotto Craftsmen in the Song and Jin Dynasties—Centering on Grottoes in Northern Shaanxi, Eastern Gansu and Eastern Sichuan