Taxing the Polluter: From Theory to Practice