What Satya Nadella actually said at Davos about AI