Text this: Educational differences in duration of working life and loss of paid employment: working life expectancy in The Netherlands