Coal mines often contain pockets of methane gas (CH4), also known as "firedamp". When methane mixes with air in certain proportions (typically 5-15% methane), it forms a highly explosive mixture. Sparks from machinery, electrical equipment, or smoking can ignite this mixture, causing violent explosions.