Pareto-improving indirect tax coordination and tax diversity