Bringing NLP Explainability to Critical Sectors: A Case Study on NOTAMs in Aviation | Synapse