The effect of retirement eligibility on mental health in the United Kingdom: heterogeneous effects by occupation