In how many years, is the amount spent on the salary of employees by the government in Costa Rica greater than the average amount spent on the salary of employees by the government in Costa Rica taken over all years ?