Korea brings open source to 10,000 schools