La dinámica de los lanzadores de penaltis en La Roja: ¿Quién lo tirará si hay otro?