What’s targeted in Trump’s request for $9.4 billion in budget cuts from Congress