John Ternus becomes Apple CEO, with AI as first big challenge