Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions