Real make Ronaldo the world's highest-paid player