In how many years, is the proportion of the female labor force who participated in production in Korea (Republic) greater than the average proportion of the female labor force who participated in production in Korea (Republic) taken over all years ?