: Satya Nadella lays out revised mission for Redmond. Spoiler: It involves AI