Gas discharge tube arresters