AI companies could stand together to draw red lines on military AI — why aren’t they?