Text this: Study on the optimal dry ice dosage for coal seam freezing coring at different coring depths: experiment and modeling