In Ireland, carbon tax cuts deficit and pollution