Social discounting, migration, and optimal taxation of savings