Google names Amin Vahdat as new chief of AI infrastructure buildout, Semafor reports