When should you retire? Life expectancy vs work expectancy