Explosive atmospheres. Explosion prevention and protection - Basic concepts and methodology for mining