Ronaldo becomes Europe’s highest scorer in international football