Prevention of flammable gas and coal dust explosions in collieries