AI remains priority for CEOs, according to new Gartner survey