Setor público registra déficit primário de R$ 11 bilhões em maio