convert odds to probability: formulas, examples, and verification