Tractable probabilistic inference with probabilistic circuits