Laboratory quantification of coal permeability reduction effect during carbon dioxide injection process