Causal networks: semantics and expressiveness