Designing for Fair Oracle Extractable Value: A Theoretical Framework and Empirical Findings from DeFi