8,5 милиарда лева са разходите за пенсии на ДОО към края на май