Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems