Pension type, tenure, and job mobility*