os-market-share-december-2018