Il 'politecnico del mare' alle origini della Facoltà di Ingegneria. La Regia Scuola superiore navale di Genova (1870-1935)