Tizen will be used in the new smart TVs Samsung