Impact of natural disasters on industrial agglomeration: The case of the Great Kantō Earthquake in 1923