The Brazilian justice system is rolling out a series of artificial intelligence tools to help chip away at a dauntingly large caseload.