Galleria di Porta Ticinese, Milano