Causal Modeling-Based Discrimination Discovery and Removal: Criteria, Bounds, and Algorithms | Synapse