The big strategy themes behind Microsoft’s executive overhaul