Modernizing urban food provisioning: the 1936 Shanghai Fish Market