Markov properties of nonrecursive causal models