Text this: A Review of Abstraction Methods Toward Verifying Neural Networks.