Zaslat SMS: Compositional probabilistic and causal inference using tractable circuit models