For Trump’s budget to work, the US will need the biggest technology boom since World War II