What Twitter’s IPO means for Nasdaq