Baidu names former Microsoft exec as COO in artificial intelligence push