Industrial district effects and innovation in the Tuscan shipbuilding industry