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