Mixed integer nonlinear programming tools: a practical overview