The impact of war on Shanghai’s industrial structure: A GIS-based analysis of the Shanghai industrial surveys (1935-1940)