Nuno Dias fala em "milagres" do guarda-redes do Benfica: «O jogo poderia ter sido outro»