An excerpt from the "Recent Economic Developments (140)": Job mobility among older workers, and its development in 2003–13