In how many years, is the amount collected by the government from tax revenue in Portugal greater than the average amount collected by the government from tax revenue in Portugal taken over all years ?