What Would a Twitter IPO be Worth?