Theoretical and numerical studies of cryogenic fracturing induced by thermal shock for reservoir stimulation