Agência Brasil volta a operar após problemas técnicos