How many us m1a1 main battle tanks