The proportion of stock holdings allocated to artificial intelligence-related stocks by major United States public pension funds more than doubled in under four years