Optimization Modulo Non-linear Arithmetic via Incremental Linearization Book chapter (September 2021)