Rise in defense spending means smaller increase for science in new U.S. budget