Kim Stanley Robinson: a declining world population could be a good thing