有事の際の陸軍一個師団の人数1万3千人は標準的でしょうか?