What Twitter’s IPO means