Some contributions to the theory of optimal indirect taxation