Actuarial mathematics of social security pensions