AR-15系列用の20連マガジンは、米軍ではいつ頃まで使われていたんですか?