Pantelleria. Il porto turistico