Escaping the Impossibility of Fairness: From Formal to Substantive Algorithmic Fairness