In how many years, is the amount collected by the government from tax revenue in Korea (Republic) greater than the average amount collected by the government from tax revenue in Korea (Republic) taken over all years ?