Arsenale: the world’s first ever large industrial factory