Nasdaq Proposes to Allow Trading of Tokenized Securities