Four ways AI can save Microsoft from stagnation