Naval Shipyards as Vessels for Industrial Organization: A Global Survey for the Long Nineteenth Century