Optimal Taxation in Theory and Practice