What percentage of the total school population consists of international students?