Microsoft has 16,000 fewer employees than at start of year