Table 12.5 A Mixed-Strategy Game: Penalty Kicks in Soccer