Theoretical Aspects of Cyclic Structural Causal Models