The length of working lives in Europe