How many m1a2 tanks does us military have