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