¿Cuántos goles marcó España en la fase final del Mundial de 1982?