Formalising trade-offs beyond algorithmic fairness: lessons from ethical philosophy and welfare economics · Study