米陸軍の分隊は9人編成で海兵隊は13人らしいですけどどうして人数が異なるのですか?