What You Need to Know About Formulation Optimization Softwar