4K Now 7 Percent of HDTV Revenue; Samsung Leads Market