Is the sum of the amount spent on the salary of employees by the government in Ireland in 2008 and 2009 greater than the maximum amount spent on the salary of employees by the government in Mali across all years ?