NLP Verification: Towards a General Methodology for Certifying Robustness