How many percent of tax revenue is spent on paying public servants ?