How many computers use windows os