An Optimal Taxation Approach to Fiscal Federalism