What can we learn from the Dutch national carbon tax