When did Microsoft make the existence of Windows 8.1 with Bing OME SKU official?