Optimal Tax Progressivity in Unionised Labour Markets door