LegalVis: Exploring and Inferring Precedent Citations in Legal Documents