Big surge for military in Trump budget, big cuts elsewhere