Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity