Dívida pública atinge R$ 9 trilhões em maio, mostra Tesouro