Working less and living longer: Long-term trends in working time and time budgets