Abstraction between Structural Causal Models: A Review of Definitions and Properties