PAYG pensions, tax-cum-subsidy and A–Pareto efficiency