Has cristiano ronaldo won a world cup with portugal