Roberto Martínez e a substituição de Ronaldo: «O plano era jogar 45 minutos»