José Sarney recebe alta hospitalar após nove dias de internação