Localizing Faults In Numerical Software Using A Value-Based Causal Model