Case-Factor Diagrams for Structured Probabilistic Modeling