¿Cuántos millones de pesetas le costó al Inter de Milán el fichaje de Ronaldo?