‘Big, Beautiful Bill’ includes billions for government AI programs