An AI revamp has barely moved the needle for Bing