How the “Ramsey formula” came to define time discounting in economics (1950-2000)