Social discounting, migration and optimal taxation of savings