Types of tax revenue as a share of GDP across developed countries