Measuring Tax Progressivity: Compatible Global and Local Indexes