An econometric model of world shipping and shipbuilding