Metro do Porto conclui primeiro túnel da Linha Rosa para a abrir em julho de 2025