SMT-Based Nonlinear PDDL+ Planning