Text this: Dimensional Robustness Certification for Deep Neural Networks in Network Intrusion Detection Systems.