Explosive gas detector