Optimal Tax Progressivity in Unionised Labour Markets by