Αποστολή με SMS: Formalizing Natural Languages with NooJ and Its Natural Language Processing Applications