Explosion-proof timer, explosion-proof timer, portable for use in coal mines