Title: Handbook of Formal Optimization