The deadweight loss from a tax system