Total tax revenue as a share of GDP across developed countries