Japan and the development of Shanghai's Pudong area