How much does a tank cost the military