Trump's pact with Big Tech on AI and utility prices is short on details