Judicial enforcement and caseload: theory and evidence from Brazil