Microsoft is cutting 7,000 roles—mostly middle managers and non-technical staff—to make room for a bigger AI push.