Peste 10.000 de beneficiari de pensii de serviciu, în iulie 2023. Cât este cea mai mare pensie medie?