Write SQL query to solve given problem: How many international students attended Harvard University in 2012?. Keep the solution inside sql tag ```sql [SQL-Query] ```
SELECT CAST(T2.num_students * T2.pct_international_students AS REAL) / 100 FROM university AS T1 INNER JOIN university_year AS T2 ON T1.id = T2.university_id WHERE T1.university_name = 'Harvard University' AND T2.year = 2012