Write SQL query to solve given problem: What are the names of the top 5 universities with the highest number of international students?. Keep the solution inside sql tag ```sql [SQL-Query] ```
SELECT DISTINCT T2.university_name FROM university_year AS T1 INNER JOIN university AS T2 ON T1.university_id = T2.id ORDER BY (CAST(T1.num_students * T1.pct_international_students AS REAL) / 100) DESC LIMIT 5