Behind Microsoft CEO Satya Nadella's push to get AI tools in developers' hands