On the social cost of carbon and discounting in the DICE model