NLP-based system for automatic processing of quality demands in italian public procedure: a system engineering formalization