Ronaldo-dobbel på overtid i Portugal-seier