Environment change of marine transportation and inter-related development of shipping and shipbuilding industries in Korea