Total social security budget as a proportion of personal income tax revenue