Is the sum of the amount spent on the salary of employees by the government in Mali in 2005 and 2007 greater than the maximum amount spent on the salary of employees by the government in Indonesia across all years ?