How many tanks are in the us military