OpenAI tech gives Microsoft’s Bing a boost in search battle with Google