Windows 8 and 8.1 gain users, now run over 10% OS market share