Explosion prevention and protection in underground mines. Protective systems - Automatic extinguishing systems for road headers