How many goals, in total, in the 1982 World Cup, did the player who scored a hat-trick against Brazil, score ?