Even if Explanations: Prior Work, Desiderata & Benchmarks for Semi-Factual XAI