Satisfiability Modulo Transcendental Functions via Incremental Linearization