The US military should exclude AI vendors that restrict combat applications of their technology