Determination of the degree of coal deformation and its effects on gas production in the southern Qinshui Basin, North China