Mexicanos ganan con “Mariachi” el tercer lugar en RoboCup