What is the difference between the amount spent on the salary of employees by the government in Korea (Republic) in 2009 and the amount spent on the salary of employees by the government in Nigeria in 2007 ?