Analysis of methane recovery through CO2–N2 mixed gas injection considering gas diffusion phenomenon in coal seam