Is the sum of the amount collected by government from taxes on income in Portugal in 2009 and 2012 greater than the maximum amount collected by government from taxes on income in Ireland across all years ?