Local Search for Mixed-Integer Nonlinear Optimization: A Methodology and an Application