Retirement choice in a frictionless labor market