Windows 10 edges towards 1/4 market share in December